A. Björner: шукати на сайті Z-Library

Рік:

2006

Мова:

english

Файл:

PDF, 53.92 MB

0 / 0

english, 2006

Oriented Matroids, Second Edition (Encyclopedia of Mathematics and its Applications)

Anders Björner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler

Рік:

2000

Мова:

english

Файл:

PDF, 7.81 MB

0 / 0

english, 2000

New perspectives in algebraic combinatorics

Louis J. Billera, Anders Björner, Curtis Greene, Rodica E. Simion, Richard P. Stanley

Рік:

1999

Мова:

english

Файл:

PDF, 4.20 MB

0 / 0

english, 1999

Software Engineering 1: Abstraction and Modelling

Рік:

2006

Мова:

english

Файл:

DJVU, 8.01 MB

0 / 0

english, 2006

Oriented matroids

Anders Björner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler

Рік:

1999

Мова:

english

Файл:

DJVU, 5.11 MB

0 / 0

english, 1999

Combinatorial miscellany

CUP

Bjorner A., Stanley R.P.

Рік:

2004

Мова:

english

Файл:

PDF, 375 KB

0 / 0

english, 2004

Software Engineering 1: Abstraction and Modelling

Prof. Dr. Dines Bjørner (auth.)

Рік:

2006

Мова:

english

Файл:

PDF, 23.68 MB

0 / 0

english, 2006

Oriented Matroids, Second edition (Encyclopedia of Mathematics and its Applications)

Anders Bjorner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler

Рік:

2000

Мова:

english

Файл:

DJVU, 5.46 MB

0 / 0

english, 2000

Configuration Spaces: Geometry, Combinatorics and Topology. CRM Series

Scuola Normale Superiore

Bjorner, Anders, Cohen, Fred, De Concini, Corrado, Procesi, Claudo, Salvetti, Mario (ed.)

Рік:

2012

Мова:

english

Файл:

PDF, 2.41 MB

0 / 0

english, 2012

Software Engineering 3

Рік:

2006

Мова:

english

Файл:

PDF, 7.34 MB

5.0 / 0

english, 2006

Software Engineering 1: Abstraction and Modelling

Springer Science & Business Media

Рік:

2006

Мова:

english

Файл:

PDF, 43.50 MB

0 / 0

english, 2006

Software Engineering 3

Рік:

2006

Мова:

english

Файл:

PDF, 7.28 MB

5.0 / 0

english, 2006

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)

Рік:

1990

Мова:

english

Файл:

DJVU, 6.60 MB

0 / 0

english, 1990

DOMAIN ENGINEERING - Technology Management, Research and Engineering

Мова:

english

Файл:

PDF, 32.72 MB

0 / 0

english

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 5.37 MB

0 / 0

english, 2007

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 4.29 MB

0 / 0

english, 2007

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 4.17 MB

0 / 0

english, 2011

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 6.60 MB

0 / 0

english, 2007

Formal specification and software development

Prentice Hall

Bjorner D., Jones C.B.

Рік:

1982

Мова:

english

Файл:

DJVU, 5.70 MB

0 / 0

english, 1982

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Dines Bjørner (auth.), P. Dembiński (eds.)

Рік:

1980

Мова:

english

Файл:

DJVU, 6.42 MB

0 / 0

english, 1980

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 3.56 MB

0 / 0

english, 2009

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

Рік:

2000

Мова:

english

Файл:

PDF, 6.37 MB

0 / 0

english, 2000

Elements of Microcomputer Interfacing

Brady Co ,U.S.

Dines Bjorner, C.A.R. Hoare, Hans Langmaack

Рік:

1990

Мова:

english

Файл:

DJVU, 4.14 MB

0 / 0

english, 1990

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Рік:

1996

Мова:

english

Файл:

DJVU, 3.86 MB

0 / 0

english, 1996

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Springer Berlin Heidelberg

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

Рік:

1998

Мова:

english

Файл:

PDF, 3.20 MB

0 / 0

english, 1998

Introduction to Greedoids (revised version, November 1989)

Anders Björner, Günter M. Ziegler

Рік:

1989

Мова:

english

Файл:

PDF, 5.34 MB

0 / 0

english, 1989

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Springer International Publishing

Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

Рік:

2019

Мова:

english

Файл:

PDF, 17.03 MB

0 / 0

english, 2019

Oriented matroids

Bjorner, Las Vergnas, Sturmfels, White, Ziegler.

Рік:

1999

Мова:

english

Файл:

DJVU, 4.68 MB

0 / 0

english, 1999

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 7.82 MB

0 / 0

english, 2007

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 5.78 MB

0 / 0

english, 2011

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

Рік:

1989

Мова:

english

Файл:

PDF, 7.85 MB

0 / 0

english, 1989

Software Engineering 2: Specification of Systems and Languages

Рік:

2006

Мова:

english

Файл:

PDF, 39.54 MB

0 / 0

english, 2006

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Рік:

1996

Мова:

english

Файл:

PDF, 6.23 MB

0 / 5.0

english, 1996

Integrating Decision Procedures for Temporal Verification

Stanford University

Nikolaj Skallerud Bjorner

Рік:

1999

Мова:

english

Файл:

PDF, 1.07 MB

0 / 0

english, 1999

Software Engineering 3: Domains, Requirements, and Software Design

Рік:

2006

Мова:

english

Файл:

PDF, 7.77 MB

5.0 / 5.0

english, 2006

Software Engineering 2: Specification of Systems and Languages

Рік:

2006

Мова:

english

Файл:

PDF, 39.92 MB

0 / 0

english, 2006

Combinatorics of Coxeter Groups

Anders Bjorner, Francesco Brenti

Рік:

2005

Мова:

english

Файл:

PDF, 2.08 MB

5.0 / 5.0

english, 2005

Using the Borsuk-Ulam theorem: lectures on topological methods in combinatorics and geometry

Jiri Matousek, A. Björner, G.M. Ziegler

Рік:

2003

Мова:

english

Файл:

PDF, 1.72 MB

0 / 0

english, 2003

Software Engineering 3: Domains, Requirements, and Software Design

Рік:

2006

Мова:

english

Файл:

DJVU, 6.10 MB

0 / 0

english, 2006

Domain Science and Engineering: A Foundation for Software Development

Рік:

2021

Мова:

english

Файл:

PDF, 4.58 MB

0 / 0

english, 2021

Logics of Specification Languages

Dines Bjørner, Martin C. Henson (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 3.69 MB

0 / 0

english, 2008

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 3.23 MB

0 / 5.0

english, 2010

Software Engineering 2: Specification of Systems and Languages

Springer International Publishing AG

Рік:

2006

Мова:

english

Файл:

DJVU, 8.45 MB

0 / 0

english, 2006

Domain Science and Engineering. A Foundation for Software Development.

Рік:

2021

Мова:

english

Файл:

PDF, 4.58 MB

0 / 5.0

english, 2021

Combinatorics of Coxeter Groups

Anders Bjorner, Francesco Brenti

Рік:

2005

Мова:

german

Файл:

PDF, 4.41 MB

5.0 / 0

german, 2005

Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry

Jiri Matousek, A. Björner, G.M. Ziegler

Рік:

2003

Мова:

english

Файл:

PDF, 2.22 MB

0 / 0

english, 2003

Configuration Spaces: Geometry, Combinatorics and Topology

Edizioni della Normale

Alejandro Adem, José Manuel Gómez (auth.), A. Bjorner, F. Cohen, C. De Concini, C. Procesi, M. Salvetti (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 3.43 MB

0 / 0

english, 2012

The Vienna Development Method: The Meta-Language

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Рік:

1978

Мова:

english

Файл:

PDF, 14.97 MB

0 / 0

english, 1978

Combinatorics of Coxeter Groups

Anders Bjorner, Francesco Brenti

Рік:

2005

Мова:

german

Файл:

PDF, 3.09 MB

5.0 / 0

german, 2005

Using the Borsuk-Ulam theorem: lectures on topological methods in combinatorics and geometry